Program verification logic

Synonyms for "program verification logic" (1 found)

Ranked by relevance and common usage.

Closest matches (1)

Noun(1 words)
hoare logic